Fix read_cr3() and use it.
authorcl349@firebug.cl.cam.ac.uk <cl349@firebug.cl.cam.ac.uk>
Mon, 20 Feb 2006 17:34:21 +0000 (17:34 +0000)
committercl349@firebug.cl.cam.ac.uk <cl349@firebug.cl.cam.ac.uk>
Mon, 20 Feb 2006 17:34:21 +0000 (17:34 +0000)
commit49fa33098b76eaaabf3579eb01b29fe84dc96d38
treeb7e12e2b3ef51488101032e8b41f6b0fbf1f3e27
parentd685638f9862484bbc6d2a87050dd21b9c2b482c
Fix read_cr3() and use it.

From: Jan Beulich <JBeulich@novell.com>
Signed-off-by: Christian Limpach <Christian.Limpach@cl.cam.ac.uk>
linux-2.6-xen-sparse/arch/x86_64/mm/fault-xen.c
linux-2.6-xen-sparse/include/asm-x86_64/mach-xen/asm/system.h